Strong Induction Proof